Verbum

АДВАРО́ТНАЯ ТЭАРЭ́МА,

тэарэма, умовай якой з’яўляецца выснова зыходнай (прамой) тэарэмы, а высновай — умова. Прамая і адваротная тэарэма — узаемна адваротныя. З іх праўдзівасці вынікае, што выкананне ўмовы адной з іх не толькі дастаткова, але і неабходна для праўдзівасці высновы, напр., тэарэмы: «калі 2 вуглы трохвугольніка роўныя, то іх бісектрысы роўныя» і «калі 2 бісектрысы трохвугольніка роўныя, то адпаведныя ім вуглы роўныя», — узаемна адваротныя і абедзве праўдзівыя. З праўдзівасці якой-н. тэарэмы не вынікае праўдзівасць адваротнай тэарэмы да яе, напр., тэарэма: «калі лік дзеліцца на 6, то ён дзеліцца на 3» — праўдзівая, а адваротная тэарэма: «калі лік дзеліцца на 3, то ён дзеліцца на 6» — непраўдзівая.

т. 1, с. 98